DEF=test
EXT=test
TESTDIR=.
KOMPILE_BACKEND=haskell
KOMPILE_FLAGS=--syntax-module TEST --allow-anywhere-haskell -w none

include ../../../../include/kframework/ktest.mak
